$\forall$$A$:Type, $L$:($A$ List), $f_{1}$,$f_{2}$:($A$$\rightarrow\mathbb{B}$). ($f_{1}$ = $f_{2}$) $\Rightarrow$ sqequal(filter($f_{1}$; $L$); filter($f_{2}$; $L$))